<html>
<head><meta charset="utf-8"><title>meeting 04.14.20 · t-compiler/wg-rustc-dev-guide · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/index.html">t-compiler/wg-rustc-dev-guide</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html">meeting 04.14.20</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="193934226"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193934226" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193934226">(Apr 14 2020 at 17:53)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="1380">@WG-rustc-dev-guide</span> meeting in ~1 hour. I think our main topic is discussing the overview, specifically the level of detail and any final items</p>



<a name="193934290"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193934290" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193934290">(Apr 14 2020 at 17:53)</a>:</h4>
<p>can you write a bit before hand about what do you think is the current status and possible set of next steps?</p>



<a name="193934358"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193934358" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193934358">(Apr 14 2020 at 17:54)</a>:</h4>
<p>Sure</p>



<a name="193934788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193934788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193934788">(Apr 14 2020 at 17:57)</a>:</h4>
<p>I mentioned this elsewhere. I think there are a few important TODOs we should address before merging, but other than that, I think it looks pretty good imho:</p>
<ul>
<li>niko or eddyb or some other all-around expert should take a look and confirm that we didn't say anything incorrect</li>
<li>we should determine what level of detail to put about cmdline args, lexer, and parser and finish those points (<strong>I think we should do this in this meeting</strong>)</li>
<li>we need to confirm where trait solving and const eval happen and put in points about those</li>
<li>we should figure out what to do about the "unresolved questions" section. Do we just open an issue for them?</li>
</ul>



<a name="193935536"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193935536" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193935536">(Apr 14 2020 at 18:03)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="119009">@eddyb</span> <span class="user-mention" data-user-id="116009">@nikomatsakis</span></p>



<a name="193940885"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193940885" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193940885">(Apr 14 2020 at 18:48)</a>:</h4>
<p><span class="user-mention silent" data-user-id="198054">mark-i-m</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.2004.2E14.2E20/near/193934226" title="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.2004.2E14.2E20/near/193934226">said</a>:</p>
<blockquote>
<p><span class="user-group-mention" data-user-group-id="1380">@WG-rustc-dev-guide</span> meeting in ~1 hour. I think our main topic is discussing the overview, specifically the level of detail and any final items</p>
</blockquote>
<p>btw, at this point should have been in ~1.5 hours. Anyway, the meeting is in 42 minutes</p>



<a name="193946211"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193946211" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193946211">(Apr 14 2020 at 19:30)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="1380">@WG-rustc-dev-guide</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="193946238"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193946238" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193946238">(Apr 14 2020 at 19:30)</a>:</h4>
<p>add a <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span> reaction so we know who is participating</p>



<a name="193946253"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193946253" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193946253">(Apr 14 2020 at 19:30)</a>:</h4>
<p><span class="user-mention" data-user-id="198054">@mark-i-m</span> do you want to drive the meeting?</p>



<a name="193946284"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193946284" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193946284">(Apr 14 2020 at 19:30)</a>:</h4>
<p>sure</p>



<a name="193946358"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193946358" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193946358">(Apr 14 2020 at 19:31)</a>:</h4>
<p>Ok, so we didn't get any other comments above, so I will assume that we are mostly talking about the overview</p>



<a name="193946382"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193946382" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193946382">(Apr 14 2020 at 19:31)</a>:</h4>
<p>here is the pr: <a href="https://github.com/rust-lang/rustc-dev-guide/pull/633/files" title="https://github.com/rust-lang/rustc-dev-guide/pull/633/files">https://github.com/rust-lang/rustc-dev-guide/pull/633/files</a></p>



<a name="193946440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193946440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193946440">(Apr 14 2020 at 19:32)</a>:</h4>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="193946459"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193946459" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193946459">(Apr 14 2020 at 19:32)</a>:</h4>
<p>I'm always eager to merge things like this and keep improving it :)</p>



<a name="193946461"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193946461" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193946461">(Apr 14 2020 at 19:32)</a>:</h4>
<p>So, my thinking was to go through the PR at a high level and see if people think we have the right level of detail or should add more or remove some</p>



<a name="193946479"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193946479" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193946479">(Apr 14 2020 at 19:32)</a>:</h4>
<p>does that sound reasonable?</p>



<a name="193946498"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193946498" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193946498">(Apr 14 2020 at 19:32)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.2004.2E14.2E20/near/193946459" title="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.2004.2E14.2E20/near/193946459">said</a>:</p>
<blockquote>
<p>I'm always eager to merge things like this and keep improving it :)</p>
</blockquote>
<p>on the other hand, meanwhile is up probably a lot of people will give more feedback</p>



<a name="193946522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193946522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193946522">(Apr 14 2020 at 19:32)</a>:</h4>
<p><span class="user-mention silent" data-user-id="198054">mark-i-m</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.2004.2E14.2E20/near/193946479" title="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.2004.2E14.2E20/near/193946479">said</a>:</p>
<blockquote>
<p>does that sound reasonable?</p>
</blockquote>
<p>yes, makes sense</p>



<a name="193946562"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193946562" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193946562">(Apr 14 2020 at 19:33)</a>:</h4>
<p>I guess first I should ask, do people like to overall structure of the document?</p>



<a name="193946600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193946600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193946600">(Apr 14 2020 at 19:33)</a>:</h4>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span> or <span aria-label="-1" class="emoji emoji-1f44e" role="img" title="-1">:-1:</span> or <span aria-label="shrug" class="emoji emoji-1f937" role="img" title="shrug">:shrug:</span></p>



<a name="193946715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193946715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193946715">(Apr 14 2020 at 19:34)</a>:</h4>
<p>cool :)</p>



<a name="193946720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193946720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193946720">(Apr 14 2020 at 19:34)</a>:</h4>
<p>maybe a different question to ask ourselves is ... is there any other structure that may make sense? how is that structure better than the current one?</p>



<a name="193946732"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193946732" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193946732">(Apr 14 2020 at 19:35)</a>:</h4>
<p>unsure if it worth spending time on this though :)</p>



<a name="193946759"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193946759" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193946759">(Apr 14 2020 at 19:35)</a>:</h4>
<p>maybe that could be left for a second version of the overview in any case</p>



<a name="193946787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193946787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193946787">(Apr 14 2020 at 19:35)</a>:</h4>
<p>The most important information is there</p>



<a name="193946929"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193946929" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193946929">(Apr 14 2020 at 19:37)</a>:</h4>
<p>Ok, so second question: at high level do people want to see more detail ( <span aria-label="up" class="emoji emoji-2b06" role="img" title="up">:up:</span> ), less detail ( <span aria-label="down" class="emoji emoji-2b07" role="img" title="down">:down:</span> ), or seems fine ( <span aria-label="ship" class="emoji emoji-1f6a2" role="img" title="ship">:ship:</span> )</p>



<a name="193946973"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193946973" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193946973">(Apr 14 2020 at 19:37)</a>:</h4>
<p>(this is overall, we can go over the finer points soon)</p>



<a name="193947119"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947119" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947119">(Apr 14 2020 at 19:38)</a>:</h4>
<p>Ok, so it seems there is a consensus to push for merging soon. Shall we set a deadline of, say, Friday?</p>



<a name="193947142"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947142" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947142">(Apr 14 2020 at 19:39)</a>:</h4>
<p>(or does that seem too soon?)</p>



<a name="193947194"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947194" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Chris Simpkins <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947194">(Apr 14 2020 at 19:39)</a>:</h4>
<p>Do we like the bullet point list structure?</p>



<a name="193947211"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947211" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947211">(Apr 14 2020 at 19:39)</a>:</h4>
<p>in my opinion that's fine but I guess you guys were more involved than me in this chapter</p>



<a name="193947219"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947219" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Chris Simpkins <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947219">(Apr 14 2020 at 19:39)</a>:</h4>
<p>(related to timing)</p>



<a name="193947292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947292">(Apr 14 2020 at 19:40)</a>:</h4>
<p>I'm personally leaning towards prose, but I think we can get the content right-ish in this PR and figure out formatting later</p>



<a name="193947302"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947302" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947302">(Apr 14 2020 at 19:40)</a>:</h4>
<p><span class="user-mention silent" data-user-id="262810">Chris Simpkins</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.2004.2E14.2E20/near/193947194" title="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.2004.2E14.2E20/near/193947194">said</a>:</p>
<blockquote>
<p>Do we like the bullet point list structure?</p>
</blockquote>
<p>if we were going to say something about it that would be the least thing I've liked about it :)</p>



<a name="193947340"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947340" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947340">(Apr 14 2020 at 19:40)</a>:</h4>
<p>but it's good enough</p>



<a name="193947352"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947352" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Chris Simpkins <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947352">(Apr 14 2020 at 19:41)</a>:</h4>
<p>MVP Overview <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="193947361"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947361" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947361">(Apr 14 2020 at 19:41)</a>:</h4>
<p>yeah</p>



<a name="193947366"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947366" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947366">(Apr 14 2020 at 19:41)</a>:</h4>
<p>exactly</p>



<a name="193947392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947392">(Apr 14 2020 at 19:41)</a>:</h4>
<p>and on the other hand, you could spend years in things like this and keep improving it :)</p>



<a name="193947411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947411">(Apr 14 2020 at 19:41)</a>:</h4>
<p>ok, so let's plan to do a followup to do cleanup... perhaps we can create an issue and list things that we would want to do in the followup?</p>



<a name="193947491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947491">(Apr 14 2020 at 19:42)</a>:</h4>
<p>yeah and that brings the question, when our sprint finishes?</p>



<a name="193947549"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947549" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947549">(Apr 14 2020 at 19:42)</a>:</h4>
<p>lol, in my head the sprint finishes when the overview chapter is done? but I guess that's not really how sprints work is it?</p>



<a name="193947556"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947556" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947556">(Apr 14 2020 at 19:43)</a>:</h4>
<p>I don't think we would necessarily keep strict just for the sake of following a process we defined, we can totally adapt to our situation but I was just wondering :)</p>



<a name="193947601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947601">(Apr 14 2020 at 19:43)</a>:</h4>
<p><span class="user-mention silent" data-user-id="198054">mark-i-m</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.2004.2E14.2E20/near/193947549" title="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.2004.2E14.2E20/near/193947549">said</a>:</p>
<blockquote>
<p>lol, in my head the sprint finishes when the overview chapter is done? but I guess that's not really how sprints work is it?</p>
</blockquote>
<p>well, it's not, but in our case it may make sense to close our sprint once we finish</p>



<a name="193947610"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947610" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947610">(Apr 14 2020 at 19:43)</a>:</h4>
<p>if we aim to finish the chapter before the next meeting in 2 weeks, we can use that meeting to plan for the next sprint</p>



<a name="193947663"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947663" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947663">(Apr 14 2020 at 19:44)</a>:</h4>
<p>let's do that, I liked the idea :)</p>



<a name="193947704"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947704" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947704">(Apr 14 2020 at 19:44)</a>:</h4>
<p><span class="user-mention silent" data-user-id="198054">mark-i-m</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.2004.2E14.2E20/near/193947411" title="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.2004.2E14.2E20/near/193947411">said</a>:</p>
<blockquote>
<p>ok, so let's plan to do a followup to do cleanup... perhaps we can create an issue and list things that we would want to do in the followup?</p>
</blockquote>
<p>so back to this, maybe we plan on the next meeting then?</p>



<a name="193947726"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947726" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947726">(Apr 14 2020 at 19:44)</a>:</h4>
<p>with the rest of the things we may want to accomplish</p>



<a name="193947768"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947768" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947768">(Apr 14 2020 at 19:45)</a>:</h4>
<p>Sounds good! So, let's perhaps go through the contents of the first section:</p>
<p>## What the compiler does to your code</p>



<a name="193947898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947898">(Apr 14 2020 at 19:46)</a>:</h4>
<p>looking at the bullet points, perhaps let's take 5 minutes on everything from command line parsing to AST validation</p>



<a name="193947943"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947943" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947943">(Apr 14 2020 at 19:46)</a>:</h4>
<p>special thanks to <span class="user-mention" data-user-id="262810">@Chris Simpkins</span> for fleshing out a lot of this content</p>



<a name="193947949"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193947949" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193947949">(Apr 14 2020 at 19:46)</a>:</h4>
<p>:)</p>



<a name="193948057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193948057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193948057">(Apr 14 2020 at 19:48)</a>:</h4>
<p>Personally, I think that perhaps there is a bit too mcuh content, but maybe we should aim to move some of it to another chapter in a followup? thoughts?</p>



<a name="193948114"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193948114" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Chris Simpkins <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193948114">(Apr 14 2020 at 19:48)</a>:</h4>
<p>I like that idea.  I planned to do this over the weekend but didn't get to it.  I can definitely do it over the next couple of weeks</p>



<a name="193948149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193948149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Chris Simpkins <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193948149">(Apr 14 2020 at 19:48)</a>:</h4>
<p>I have additional material from the discussions with matklad and centril. This would be good for the dedicated chapter in the Guide</p>



<a name="193948167"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193948167" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193948167">(Apr 14 2020 at 19:49)</a>:</h4>
<p>It could also be part of the work for the next sprint, as Santiago mentioned</p>



<a name="193948421"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193948421" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193948421">(Apr 14 2020 at 19:50)</a>:</h4>
<p>Ok, how about the parts from HIR up to MIR construction? (5 min)</p>



<a name="193948581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193948581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Chris Simpkins <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193948581">(Apr 14 2020 at 19:52)</a>:</h4>
<p>Not an area that I know so difficult for me to comment.</p>



<a name="193948583"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193948583" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193948583">(Apr 14 2020 at 19:52)</a>:</h4>
<p>Perhaps we can use this again: more detail ( <span aria-label="up" class="emoji emoji-2b06" role="img" title="up">:up:</span> ), less detail ( <span aria-label="down" class="emoji emoji-2b07" role="img" title="down">:down:</span> ), or seems fine ( <span aria-label="ship" class="emoji emoji-1f6a2" role="img" title="ship">:ship:</span> )<br>
(but feel free to also write comments)</p>



<a name="193948705"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193948705" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193948705">(Apr 14 2020 at 19:53)</a>:</h4>
<p>personally, I think there could be more detail here (or HIR <span aria-label="joy" class="emoji emoji-1f602" role="img" title="joy">:joy:</span> )</p>



<a name="193948728"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193948728" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193948728">(Apr 14 2020 at 19:53)</a>:</h4>
<p>especially around type inference and checking</p>



<a name="193948853"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193948853" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193948853">(Apr 14 2020 at 19:54)</a>:</h4>
<p>thoughts?</p>



<a name="193948927"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193948927" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193948927">(Apr 14 2020 at 19:54)</a>:</h4>
<p>yes</p>



<a name="193948952"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193948952" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Yuki Okushi <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193948952">(Apr 14 2020 at 19:55)</a>:</h4>
<p>I'm also not familiar with but it'd be nice that we could improve (be more details), I feel</p>



<a name="193948953"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193948953" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193948953">(Apr 14 2020 at 19:55)</a>:</h4>
<p>maybe a little bit more detail</p>



<a name="193949028"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193949028" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193949028">(Apr 14 2020 at 19:55)</a>:</h4>
<p>do people feel that it is important enough to fix before merging, or should we go for a big collection of round-2 improvements in a followup</p>



<a name="193949030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193949030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193949030">(Apr 14 2020 at 19:55)</a>:</h4>
<p>?</p>



<a name="193949107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193949107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Chris Simpkins <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193949107">(Apr 14 2020 at 19:56)</a>:</h4>
<p>Were there any outstanding comments from Santiago or other reviewers of this section?  I am looking at the PR now.</p>



<a name="193949157"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193949157" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193949157">(Apr 14 2020 at 19:56)</a>:</h4>
<p><span class="user-mention silent" data-user-id="198054">mark-i-m</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.2004.2E14.2E20/near/193949028" title="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.2004.2E14.2E20/near/193949028">said</a>:</p>
<blockquote>
<p>do people feel that it is important enough to fix before merging, or should we go for a big collection of round-2 improvements in a followup</p>
</blockquote>
<p>big collection of improvements for a follow up</p>



<a name="193949215"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193949215" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193949215">(Apr 14 2020 at 19:57)</a>:</h4>
<p><span class="user-mention silent" data-user-id="262810">Chris Simpkins</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.2004.2E14.2E20/near/193949107" title="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.2004.2E14.2E20/near/193949107">said</a>:</p>
<blockquote>
<p>Were there any outstanding comments from Santiago or other reviewers of this section?  I am looking at the PR now.</p>
</blockquote>
<p>yes there are some</p>



<a name="193949234"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193949234" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193949234">(Apr 14 2020 at 19:57)</a>:</h4>
<p>I haven't gotten to really look at them in a while</p>



<a name="193949298"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193949298" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193949298">(Apr 14 2020 at 19:57)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.2004.2E14.2E20/near/193949157" title="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.2004.2E14.2E20/near/193949157">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="198054">mark-i-m</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.2004.2E14.2E20/near/193949028" title="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.2004.2E14.2E20/near/193949028">said</a>:</p>
<blockquote>
<p>do people feel that it is important enough to fix before merging, or should we go for a big collection of round-2 improvements in a followup</p>
</blockquote>
<p>big collection of improvements for a follow up</p>
</blockquote>
<p>This seems reasonable to me too, given that we are finding a lot of things that could be improved</p>



<a name="193949310"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193949310" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Chris Simpkins <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193949310">(Apr 14 2020 at 19:57)</a>:</h4>
<p>It looks like maybe Santiago asked to consider eddyb HAIR description?</p>



<a name="193949464"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193949464" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193949464">(Apr 14 2020 at 19:58)</a>:</h4>
<p>[2 mins left]</p>



<a name="193949504"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193949504" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193949504">(Apr 14 2020 at 19:59)</a>:</h4>
<p>yeah I guess we can read that discussion and see if there's something to improve but on the other hand I read some similar explanations later in the doc</p>



<a name="193949510"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193949510" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193949510">(Apr 14 2020 at 19:59)</a>:</h4>
<p>So maybe the real question we should consider is: Is there something that should block the PR from merging as is</p>



<a name="193949533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193949533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193949533">(Apr 14 2020 at 19:59)</a>:</h4>
<p>I don't think so</p>



<a name="193949542"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193949542" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Chris Simpkins <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193949542">(Apr 14 2020 at 19:59)</a>:</h4>
<p>Add issue report threads for the open comments and merge it?</p>



<a name="193949590"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193949590" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193949590">(Apr 14 2020 at 19:59)</a>:</h4>
<p>I think we should address the comments and have <span class="user-mention" data-user-id="119009">@eddyb</span> and/or <span class="user-mention" data-user-id="116009">@nikomatsakis</span> checking the chapter :)</p>



<a name="193949696"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193949696" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193949696">(Apr 14 2020 at 20:00)</a>:</h4>
<p>I agree with <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> ... I think we should try to not leave too many unaddressed before merging. And we should make sure nothing is incorrect</p>



<a name="193949801"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193949801" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193949801">(Apr 14 2020 at 20:01)</a>:</h4>
<p>Ok, it looks like we are over time again <span aria-label="clock" class="emoji emoji-1f557" role="img" title="clock">:clock:</span></p>



<a name="193949916"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193949916" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193949916">(Apr 14 2020 at 20:02)</a>:</h4>
<p>I think there is a strong consensus to address current comments and get review from niko/eddy but otherwise to defer other improvements/cleanup for a followup, and open an issue for now</p>



<a name="193949943"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193949943" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193949943">(Apr 14 2020 at 20:02)</a>:</h4>
<p>(please correct me if I'm wrong)</p>



<a name="193949955"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193949955" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Yuki Okushi <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193949955">(Apr 14 2020 at 20:03)</a>:</h4>
<p>works for me</p>



<a name="193950018"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193950018" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193950018">(Apr 14 2020 at 20:03)</a>:</h4>
<p>Is there somethign else to discuss sync? otherwise, thanks for coming</p>



<a name="193950134"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193950134" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193950134">(Apr 14 2020 at 20:04)</a>:</h4>
<p>I don't think so</p>



<a name="193950153"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%2004.14.20/near/193950153" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.2004.2E14.2E20.html#193950153">(Apr 14 2020 at 20:04)</a>:</h4>
<p>thanks everyone and great work, <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>